$\forall$$r$:RngSig. $\leq_{b}$ $\in$ $\mid$$r$$\mid\rightarrow\mid$$r$$\mid\rightarrow\mathbb{B}$